43 results
No effect of n-3 long-chain polyunsaturated fatty acid (EPA and DHA) supplementation on depressed mood and cognitive function: a randomised controlled trial – reply by Rogers et al.
-
- Journal:
- British Journal of Nutrition / Volume 100 / Issue 6 / December 2008
- Published online by Cambridge University Press:
- 01 December 2008, pp. 1349-1351
- Print publication:
- December 2008
-
- Article
-
- You have access
- HTML
- Export citation
No effect of n-3 long-chain polyunsaturated fatty acid (EPA and DHA) supplementation on depressed mood and cognitive function: a randomised controlled trial
-
- Journal:
- British Journal of Nutrition / Volume 99 / Issue 2 / February 2008
- Published online by Cambridge University Press:
- 01 February 2008, pp. 421-431
- Print publication:
- February 2008
-
- Article
-
- You have access
- HTML
- Export citation
Chest Pain in Emergency Department Patients: If the Pain is Relieved by Nitroglycerin, is it More Likely to be Cardiac Chest Pain?
-
- Journal:
- Canadian Journal of Emergency Medicine / Volume 8 / Issue 3 / May 2006
- Published online by Cambridge University Press:
- 21 May 2015, pp. 164-169
- Print publication:
- May 2006
-
- Article
-
- You have access
- Export citation
Characterization and Applications of Modulated Optical Nanoprobes (MOONs)
-
- Journal:
- MRS Online Proceedings Library Archive / Volume 790 / 2003
- Published online by Cambridge University Press:
- 01 February 2011, P4.1
- Print publication:
- 2003
-
- Article
- Export citation
Medical Malpractice Implications of PSA Testing for Early Detection of Prostate Cancer
-
- Journal:
- Journal of Law, Medicine & Ethics / Volume 25 / Issue 4 / Winter 1997
- Published online by Cambridge University Press:
- 01 January 2021, pp. 234-242
- Print publication:
- Winter 1997
-
- Article
- Export citation
Konéčnyé avlomaty (Povédénié i sintéz) - B. A. Trahténbrot and Á. M. Barzdin′. Konéčnyé avlomaty (Povédénié i sintéz). Izdatél′stvo “Nauka,”Moscow1970, 400 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 1 / March 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 111-112
- Print publication:
- March 1977
-
- Article
- Export citation
J. Richard Buchi and Lawrence H. Landweber. Solving sequential conditions by finite-state strategies. Transactions of the American Mathematical Society, vol. 138 (1969), pp. 295–311.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 200-201
- Print publication:
- March 1972
-
- Article
- Export citation
R. J. Nelson. Introduction to automata.John Wiley & Sons, Inc., New York-London-Sydney1968, xii + 400 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 151-152
- Print publication:
- March 1971
-
- Article
- Export citation
Dean N. Arden. Delayed-logic and finite-state machines. Switching circuit theory and logical design, Proceedings of the Second Annual Symposium, Detroit, Mich., October 17–20, 1961, and papers from the First Annual Symposium, Chicago, III., October 9–14,1960, American Institute of Electrical Engineers, New York1961, pp. 133–151.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 151
- Print publication:
- March 1971
-
- Article
- Export citation
C. C. Elgot. Decision problems of finite automata design and related arithmetics. Transactions of the American Mathematical Society, vol. 98 (1961), pp. 21–51.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 3 / 17 November 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 509-510
- Print publication:
- 17 November 1969
-
- Article
- Export citation
N. E. Kobrinskii and B. A. Trakhtenbrot. Introduction to the theory of finite automata. English translation of XXIX 97, edited by J. C. Shepherdson. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1965, x + 337 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 3 / 10 October 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 466
- Print publication:
- 10 October 1968
-
- Article
- Export citation
Raphael M. Robinson. Restricted set-theoretical definitions in arithmetic. Proceedings of the American Mathematical Society, vol. 9 (1958), pp. 238–242. - Raphael M. Robinson. Restricted set-theoretical definitions in arithmetic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 139–140.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 4 / December 1966
- Published online by Cambridge University Press:
- 12 March 2014, pp. 659-660
- Print publication:
- December 1966
-
- Article
- Export citation
R. E. Stearns and J. Hartmanis. Regularity preserving modifications of regular expressions. Information and control, vol. 6 (1963), pp. 55–69.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 2 / June 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 265
- Print publication:
- June 1966
-
- Article
- Export citation
Gene F. Rose. Output completeness in sequential machines. Proceedings of the American Mathematical Society, vol. 13 (1962), pp. 611–614.
-
- Journal:
- The Journal of Symbolic Logic / Volume 31 / Issue 1 / March 1966
- Published online by Cambridge University Press:
- 12 March 2014, p. 140
- Print publication:
- March 1966
-
- Article
- Export citation
Frederic B. Fitch. Representation of sequential circuits in combinatory logic. Philosophy of science, vol. 25 (1958), pp. 263–279.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 3 / September 1965
- Published online by Cambridge University Press:
- 12 March 2014, p. 380
- Print publication:
- September 1965
-
- Article
- Export citation
Joyce Friedman. A decision procedure for computations of finite automata. Journal of the Association for Computing Machinery, vol. 9 (1962), pp. 315–323.
-
- Journal:
- The Journal of Symbolic Logic / Volume 30 / Issue 2 / June 1965
- Published online by Cambridge University Press:
- 12 March 2014, pp. 248-249
- Print publication:
- June 1965
-
- Article
- Export citation
A. W. Burks and J. B. Wright. Sequence generators and digital computers. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 139–199. - Arthur W. Burks and Jesse B. Wright. Sequence generators, graphs, and formal languages. Information and control, vol. 5 (1962), pp. 204–212.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 210-212
- Print publication:
- December 1964
-
- Article
- Export citation
A. Nerode. Linear automaton transformations. Proceedings of the American Mathematical Society, vol. 9 (1958), pp. 541–544.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 2 / June 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 173-174
- Print publication:
- June 1963
-
- Article
- Export citation
J. Richard Büchi. Weak second-order arithmetic and finite automata. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 6 (1960), pp. 66–92. - J. Richard Büchi. On a decision method in restricted second order arithmetic. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 1–11.
-
- Journal:
- The Journal of Symbolic Logic / Volume 28 / Issue 1 / March 1963
- Published online by Cambridge University Press:
- 12 March 2014, pp. 100-102
- Print publication:
- March 1963
-
- Article
- Export citation
J. M. Pugmire and A. Rose. Formulae corresponding to universal decision elements. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 1–9. - A. Rose. The use of universal decision elements as flip-flops. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 169–174. - Alan Rose. Nouvelle méthode pour déterminer les formules qui correspondent à des éléments universels de décision. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 249 (1959), pp. 870–872.
-
- Journal:
- The Journal of Symbolic Logic / Volume 27 / Issue 2 / June 1962
- Published online by Cambridge University Press:
- 12 March 2014, p. 250
- Print publication:
- June 1962
-
- Article
- Export citation